From ce42fdf151c39f91cf4077673219fa6228a54d7f Mon Sep 17 00:00:00 2001 From: Ed Sanders Date: Fri, 17 Nov 2017 22:02:58 +0000 Subject: [PATCH] Follow-Up Iae63b6994: Add missing editfont dependency Change-Id: I606a81576baf312891f3bb12f575892b00bca823 --- resources/Resources.php | 1 + 1 file changed, 1 insertion(+) diff --git a/resources/Resources.php b/resources/Resources.php index dcf2f9ba9e..715f339c59 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -2103,6 +2103,7 @@ return [ 'mediawiki.notification.convertmessagebox', 'oojs-ui-widgets', 'mediawiki.widgets.SelectWithInputWidget', + 'mediawiki.editfont.styles', ], ], 'mediawiki.special.preferences.styles.ooui' => [ -- 2.20.1